$\forall$$R$:Realizer. R{-}self{-}interface($R$) $\in$ Prop